Fault model - PDFSEARCH.IO - Document Search Engine

Fault model
Results: 252

#	Item
71	Predicting and Preventing Inconsistencies in Deployed Distributed Systems ˇ ´ DEJAN KOSTIC ´ and VIKTOR KUNMAYSAM YABANDEH, NIKOLA KNEZEVI C, Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2010-01-27 11:14:29 Data Information Distributed computing Model checking Distributed hash table Chord Consensus Communications protocol Distributed data storage Computing Fault-tolerant computer systems
72	Towards Modeling and Model Checking Fault-Tolerant Distributed Algorithms? Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith, and Josef Widder Vienna University of Technology (TU Wien) Abstract. Fault-tolerant distrib Add to Reading List Source URL: forsyte.at Language: English - Date: 2013-05-15 09:27:00 Distributed computing Fault tolerance Cryptography Failure Theory of computation Consensus Byzantine fault tolerance Promela Distributed algorithm Fault-tolerant computer systems Concurrent computing Computing
73	Speculative Linearizability Rachid Guerraoui Viktor Kuncak Giuliano Losa Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2012-03-24 17:12:17 Fault-tolerant computer systems Concurrent computing Computer architecture Linearizability Consensus State machine replication Trace Distributed algorithm Consistency model Computing Transaction processing Concurrency control
74	PDF Document Add to Reading List Source URL: www.tpc.org Language: English - Date: 2013-09-24 14:06:53 Data Data synchronization Fault-tolerant computer systems Consistency model Structured storage Eventual consistency ACID Consistency Replication Data management Computing Transaction processing
75	Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms? Annu Gmeiner, Igor Konnov, Ulrich Schmid, Helmut Veith, and Josef Widder Vienna University of Technology (TU Wien) Abstract. Recently we Add to Reading List Source URL: forsyte.at Language: English - Date: 2014-06-05 05:53:48 Fault-tolerant computer systems Fault tolerance Cryptography Theory of computation Consensus Model checking Distributed computing Byzantine fault tolerance Distributed algorithm Computing Theoretical computer science Concurrent computing
76	Parameterized Model Checking of Fault-tolerant Distributed Algorithms by Abstraction Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef Widder Vienna University of Technology (TU Wien) Abstract—We introduce an Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2013-10-18 10:27:55 Abstraction Data management FO Model checking Abstract interpretation Function Interpretation Mathematics Mathematical logic Theoretical computer science
77	An Experimental Evaluation of Domain-Independent Fault Handling Services in Open Multi-Agent Systems Chrysanthos Dellarocas and Mark Klein CCS WP #212 SWP # 4116 May 2000 Add to Reading List Source URL: ccs.mit.edu Language: English - Date: 2000-05-01 18:45:13 Private law Computing Contract Net Protocol Subcontractor Exception handling Agent-based model Agent handling Agent Law of agency Multi-agent systems Law Contract law
78	From Proceedings of the 25th Hawaii International Conference on System Sciences (HICSS-25), Vol. I, pp. 720–729. Copyright  1992 IEEE. All Rights Reserved. A Model for Address-Oriented Software and Hardware Walter R Add to Reading List Source URL: waltersmith.us Language: English - Date: 2012-05-07 17:56:07 Pointer Reference Memory address Address space Translation lookaside buffer Memory management unit Spring Garbage collection Page fault Virtual memory Computing Computer hardware
79	On the Scheduling of Checkpoints in Desktop Grids Mohamed Slim Bouguerra, Derrick Kondo INRIA Rhone-Alpes Grenoble ZIRST, 51, avenue Jean KuntzmannMONBONNOT SAINT MARTIN, France ; dko Add to Reading List Source URL: mescal.imag.fr Language: English - Date: 2011-02-25 04:54:29 Fault-tolerant computer systems Distributed computing architecture Application checkpointing Application programming interfaces Parallel computing Algorithms for Recovery and Isolation Exploiting Semantics Client–server model Server Computer cluster Computing Software Concurrent computing

UPDATE